מודל מעבד-זיכרון רוחב הקו בביטים בין המשתנה למעבד ב- PDP כיווני העברת המידע במודל מעבד-זיכרון SFS CPU MDR MEM MAR

Transcription

1 עמוד 1 מתוך 25 :SFS משתנה המציין את הפעולה שרוצים לבצע. ערכים: 00 כתיבה (store) 01 קריאה (fetch) 10 הפקודה בוצעה 11 תקלה מודל מעבדזיכרון,(store זהו המקום שהמעבד רושם בו את התוכן שהוא רוצה להכניס לזיכרון (במקרה :MDR וזהו המקום שהזיכרון רושם בו תוכן כתובת כלשהי (במקרה שהמעבד ביקש.(fetch MAR מחזיק את תוכן הכתובת היושבת ב MDR,(store זהו המקום שהמעבד רושם בו את הכתובת אליה הוא רוצה לכתוב (במקרה :MAR וזהו המקום שהמעבד רושם בו את הכתובת ממנה הוא רוצה לקרוא (במקרה.(fetch רוחב הקו בביטים בין המשתנה למעבד ב PDP שם המשתנה SFS MDR MAR כיווני העברת המידע במודל מעבדזיכרון SFS CPU MDR MEM MAR CPU SFS MEM CPU MDR MEM CPU MAR MEM 1

2 עמוד 2 מתוך 25 Mode Name Syntax EA Comments 0 Register Rn האופרנד נמצא ברגיסטר 1 Register Deferred (Rn),@Rn Rn כתובת האופרנד נמצאת ברגיסטר 6 2 Auto Increment (Rn)+ Rn 3 Auto Increment (Rn) 4 Auto Decrement (Rn) Rn2 5 7 Auto Decrement Deferred Index (אבסולוטי) 27 Immediate (אבסולוטי) X(Rn) (Rn2) X+ Rn Index Deferred (אבסולוטי (X+Rn) pc MODES #K כתובת האופרנד נמצאת ברגיסטר בתום החישוב, הוסף 2 ל Rn הכתובת של כתובת האופרנד נמצאת ברגיסטר. בתום החישוב, הוסף 2 ל Rn מקודם ב 2 גם עבור movb לפני החישוב, הורד 2 מ Rn כתובת האופרנד נמצאת ברגיסטר לפני החישוב, הורד 2 מ Rn הכתובת של כתובת האופרנד נמצאת ברגיסטר. מקודם ב 2 גם עבור movb PC (לאחר קריאת הפקודה) Absolute (אבסולוטי K 67 Relative A A 77 Relative (A) האופרנד בכתובת X+Rn instruction X לאחר שליפת PC X, מקודם ב 2. כתובת האופרנד בכתובת X+Rn instruction X לאחר שליפת PC X, מקודם ב 2. PC נמצא בכתובת המוצבעת ע"י K instruction K אם K הינה תווית, לך אל כתובתה האופרנד נמצא בכתובת K instruction K האופרנד נמצא בכתובת A l : instruction A m 2 m היא כתובת האופרנד בתוך ההוראה l+ 2 m l+ 4 m A הוא המרחק בין EA ובין 2 כתובת המלה הבאה לביצוע. כתובת האופרנד נמצאת בכתובת A l : instruction A m 2 הערה: השיטות המוקפות בעיגול מצריכות מלת זיכרון נוספת. 2

3 עמוד 3 מתוך 25 פקודות branch Opcode Word Offset קידוד: WO מספר המלים שיש לקפוץ מערכו הנוכחי של ה,PC לאחר קריאת הפקודה. WO= destination PC 2 8 1= 2 מילים, הערה: מאחר שמוקצים רק 8 ביטים לקידוד ה,Offset ניתן לקפוץ רק 256 לכל היותר (עבור ). בעצם, רק חצי מכך, אם רוצים לכלול גם קפיצה לאחור. חישוב ה Opcode הסופי: נעשה ע"י חיבור ה Opcode של פקודת ההסתעפות המתאימה עם W0, כאשר האחרון מיוצג באמצעות 8 ביטים br here 1020 here : mov #3, r0 דוגמא: W 0 = = = asr(16) = 7= Opcode = = (000407) 8 פקודת jmp jmp A 0001 DD קידוד: כאשר DD נקבע עפ"י שיטת המיעון של A. הקפיצה הינה אל הכתובת האפקטיבית! מרחק הקפיצה אינו מוגבל 3

4 עמוד 4 מתוך 25 פקודת sob A: sob rn, l rn Offset 5 0 קידוד: Offset מספר חיובי, בטווח 063, המציין את מספר המלים שיש לקפוץ אחורה Offset = A l here : mov #3, r sob r1, here דוגמא: Offset= + 1 = 11 Opcode= jsr r, subr n 004 rn DD rn r פקודת jsr ופקודת rts r 1). mov, ( sp) 1). mov, pc 2). mov pc, 2). mov ( sp) +, 3). mov # subr, pc n rts r r n n n r n ה PSW priority T N Z V C חוקי המכונה: דגל C נדלק אמ"מ יש נשא בחיבור מה MSB דגל C נדלק אמ"מ אין נשא בחיסור מה MSB דגל V נדלק אמ"מ שני המחוברים/מחוסרים בעלי MSB זהה, והתוצאה בעלת MSB הפוך. או לחילופין: דגל C נדלק אם יש טעות בחישוב, כאשר האופרנדים ללא סימן. דגל V נדלק אם יש טעות בחישוב, כאשר האופרנדים עם סימן. 4

5 עמוד 5 מתוך 25 פקודות ההסתעפות Type Opcode Mnemonic Name Comments blt branch if ( N (~ V )) (~ N V ) N V = 1 less than Signed ble branch if less than or same bgt branch if bge branch if greater than or same ( N V ) Z greater than ~ (( N V ) Z) ~ ( N V ) N = V Unsigned Z&V branches C&V branches bhi branch if higher bhis branch if higher or blo same branch if lower blos branch if lower or same beq branch if equal bne branch if not equal bmi branch if minus bpl branch if plus bcs branch if carry set bcc branch if carry clear bvs branch if overflow set bvc branch if overflow clear unconditional br branch ~ (CvZ) ~C C (CvZ) Z ~ Z N ~ N C ~ C V ~ V 5

6 עמוד 6 מתוך 25 OpCodes של פקודות נפוצות Mnemonic OpCode add 06 asl 0063 asr 0062 bic 04 bit 03 bis 05 clr 0050 cmp 02 dec 0053 div 071RSS inc 0052 mov 01 mul 070RSS neg 0054 rti rtt sub 16 sxt 0067 tst 0057 טבלת עדיפויות עדיפות ערך אוקטלי

7 עמוד 7 מתוך 25 פסיקות פסיקה תתבצע כאשר יתקיימו כל התנאים הבאים: ההתקן פעיל 1) = enable (read ההתקן ביקש פסיקה 1) = (ready/done ההתקן רשאי לפסוק 1) = enable (interrupt עדיפות החומרה של ההתקן הפוסק גדולה ממש מעדיפות התוכנה ברגע קבלת הפסיקה ביטים "מעניינים" באוגר הבקרה וקטורי פסיקה עדיפות חומרה כתובת אוגר הנתונים כתובת אוגר הבקרה התקן TKB= /62 TKS= מקלדת busy done interrupt enable read enable TPB= /66 TPS= מסך 7 ready 6 interrupt enable 0 read enable CLS= /102 שעון interrupt enable 6 פסיקה וקטורי פסיקה OpCode bpt 14/ iot 20/ emt n 30/ trap n 34/ וקטורי פסיקה 4/6 4/6 4/6 10/12 24/26 Error Odd Address Stack Violation Stack Warning Illegal Opcode Power Failure הערות כתיבה לכתובות נמוכות מ 376 כתיבה לכתובות נמוכות מ 420 מבנה הפקודה של :emt/trap Opcode Parameter קפיצה לשגרת טיפול בפסיקה חזרה משגרת טיפול בפסיקה 1). mov ( sp) +, pc 1). mov psw, ( sp) 2). mov ( sp) +, psw 2). mov pc, ( sp) 3). k, pc 4). mov@# k+ 2, psw כאשר k הינה הכתובת הראשונה בוקטור הפסיקה. 7

8 עמוד 8 מתוך 25 האסמבלר תוכנה המתרגמת תוכנית בשפת אסמבלי לשפת מכונה. LC משתנה פנימי של האסמבלר, המצביע בכל רגע נתון על הפקודה שהאסמבלר מטפל בה. זוהי הכתובת שהחל ממנה תיטען הפקודה שהאסמבלר עומד לייצר. קיים רק בזמן תרגום! PC מצביע על הפקודה הבאה לביצוע. קיים רק בזמן ריצה! תהליך התרגום בשני מעברים: מעבר ראשון: חישוב מספר המלים שצורכת כל פקודה בדיקת הסינטקס יצירת טבלת הסמלים בסוף מעבר ראשון נבדקת עקביות טבלת הסמלים. כלומר, האם כל הסמלים שמשתמשים בהם בתוכנית אכן מוגדרים, ואין סמלים כפולים. בתום מעבר ראשון, אם לא התגלתה טעות, טבלת הסמלים שלמה. מעבר שני: חישוב כל האופרנדים: המידיים (כמו #2000) והמסתמכים על תוויות (כמו A#) יצירת קוד המכונה. הכתובות וערכי התוויות לחישוב האופרנדים נלקחים מטבלת הסמלים. טעויות תרגום: הטעות תווית מוגדרת פעמיים פקודה לא חוקית מספר אופרנדים שגוי שימוש בתווית לא מוגדרת קפיצה רחוקה מדי ביטוי שגוי ביצוע sob קדימה מתגלה במעבר ראשון ראשון ראשון שני שני שני שני הערות ודוגמאות למשל, פקודה שאינה קיימת add #2 על אף שטבלת הסמלים שלמה בסוף מעבר ראשון תקף לפקודות הסתעפות add #88,r0 חישוב האופרנדים נעשה במעבר שני המידע הנשלח אל הקשרטען ע"י האסמבלר: אורך של כל מודול. רשימת כל הסמלים שיש לבצע עליהם relocation (לא רלבנטי לקוד.(PIC רשימת ה entry של כל מודול רשימת כל הסמלים המוגדרים במודול, ושניתן להשתמש בהם במודולים אחרים. רשימת ה extrn של כל מודול רשימת כל הסמלים המוגדרים במודולים אחרים, ושנעשה בהם שימוש במודול הנוכחי. המודול עצמו קוד המכונה. 8

9 עמוד 9 מתוך 25 קישור וטעינה הנחות אסמבלר: כתובת תחילת הטעינה של כל מודול הינה 0. ערכם של הסמלים החיצוניים במודול הינו 0. טבלת :ESD טבלת מידע על הסמלים המיוחדים במודול כאלה שהוגדרו ע"י ההנחיות.csesct,.entry,.extrn Symbol Type Relative Location SD עבור שם המודול שהוגדר ע"י.csect הכתובת היחסית של כל סמל LD עבור הסמלים csect הנוכחי. מרחקו מתחילת ה המקומיים שהוגדרו ע"י.entry סמלים חיצוניים לא ידועים בזמן אסמבלי, לכן אלה לא מקבלים כתובת יחסית. ER עבור הסמלים החיצוניים שהוגדרו ע"י.extrn שם הסמל שהוגדר כמיוחד בראש המודול טבלת :RLD טבלת מידע על הכתובות במודול, שאותן יש לתקן/לשנות בזמן טעינה. Symbol flag Relative Location + תוספת הסמל שאת ערכו יש הכתובת היחסית של הסמל הפחתה להוסיף/להפחית מהכתובת מתחילת ה csect הנוכחי. היחסית. הערה חשובה: טבלת RLD נקראת מימין לשמאל! לדוגמא, עבור שורה בטבלה: + 02,sym יש לקרוא: " לכתובת 02 יש להוסיף את ערך התווית."sym 9

10 עמוד 10 מתוך 25 בניית טבלת RLD האופרנד מכיל תווית מקרא: שם התווית החיצונית ExtLabel שם המודול הנוכחי CrntCSect תווית מקומית תווית חיצונית התייחסות רלטיבית התייחסות אבסולוטית התייחסות רלטיבית התייחסות אבסולוטית ExtLabel + RL ExtLabel + RL CrntCSect RL CrntCSect + RL אין שינוי בטבלה! tst X+2(r2) jsr pc,sub mov list(r0),r0 mov list,r0 האופרנד לא מכיל תווית התייחסות רלטיבית התייחסות אבסולוטית השורה הנוספת לטבלה אין שינוי בטבלה! CrntCSect RL mov #2000,r0 דוגמאות mov 2000,r0 הנחייה לאסמבלר (directive) תווית מקומית תווית חיצונית ExtLabel + RL CrntCSect + RL.word extern.word local 10

11 עמוד 11 מתוך 25 קישור המודולים טבלת ESD וטבלת RLD של כל אחד מהמודולים סדר הקישור load module מושלם, עד כדי כתובת תחילת הטעינה טבלת טעינה טבלת RLD מאוחדת ומצומצמת, המכילה את הכתובות שלהן יש להוסיף/להחסיר את כתובת תחילת הטעינה. קלט: פלט: פעולות הקשר: 1). בניית מפת טעינה.(2.(3 כל המודולים מאוחדים למודול אחד (עפ"י סדר הקישור), שתחילתו בכתובת 0, וכל "מודול מתאחד" מתחיל בכתובת הזוגית הראשונה שאינה נמצאת בשימוש המודול הקודם לו, ושאליו הוא מתאחד. למשל, עבור מודולים,A,B אם A מסתיימת בכתובת 30, אזי המודול B, המתאחד אליו, יתחיל בכתובת 32, וכל הכתובות יוזזו במספר זה. איחוד טבלות :ESD בדיקה שלכל ER יש LD מתאים (אחרת, שגיאה בזמן קישור) בדיקה ש LD הוא יחיד עבור ER מסוים (אחרת, שגיאה בזמן קישור) אם הבדיקות תקינות מחיקת שורות ER מהטבלה איחוד הטבלות עפ"י העיקרון המתואר בסעיף 1)., ולפי סדר הקישור איחוד טבלות :RLD איחוד הטבלות עפ"י העיקרון המתואר בסעיף 1)., ולפי סדר הקישור איתור הכתובות בטבלה, שעבורן יש תיקון (+) וגם תיקון () עבור כתובת כזו, יש לבצע את התיקונים הרשומים בטבלה בקוד הטעינה, כאשר ערכי הסמלים נלקחים מטבלת ה ESD המאוחדת. מחיקת השורות הנ"ל. ביצוע התיקונים בקוד הטעינה עבור השורות הנותרות בטבלת ה RLD. השמטת עמודת ה Symbol מהטבלה המתקבלת (זוהי טבלת הטעינה) בנקודה זו, סוף תהליך הקישור, ה load module מושלם, עד כדי הזזה של הכתובות המופיעות בטבלת הטעינה בכתובת תחילת הטעינה. פעולות הטען: טעינה השג את כתובת תחילת הטעינה. לכל שורה בטבלת הטעינה, הוסף/החסר את כתובת תחילת הטעינה אל/מן הכתובת היחסית המתאימה כאשר ערכי הסמלים נלקחים מתוך טבלת ה ESD המאוחדת. 11

12 עמוד 12 מתוך 25 נתונים שלושת המודולים הבאים: דוגמא מסכמת: (מתוך מועד א' אביב תשס"ב) csect m entry data,pd extrn input,print TKS = TKB = main: mov mov loop: tst data beq loop jsr r0, print halt data:.blkw pd:.word data csect m entry input extrn data MASK = TKS = TKB = input: r bic #MASK, r mov rti csect m entry print extrn pd TPS = TPB = print: bpl print rts r0 12

13 עמוד 13 מתוך 25 שלב 1 השלמת השורות החסרות ב listing שם המודול מס' שורה ההוראה מלה ראשונה להוספה מלה שנייה להוספה הסבר מילה ראשונה: input הוא סמל חיצוני, לכן מקבל את הערך 0, עפ"י הנחות אסמבלר (עמ' 8) מילה שנייה: עפ"י שיטת מיעון 37 ת, וכן המלה השנייה הינו הערך הרשום באופרנד. כלומר, 60. עפ"י שיטת מיעון 27 (עמ' 2), תוכן המלה השנייה הינו הערך הרשום באופרנד: 101. data הינו סמל מקומי, לכן יש להוסיף את כתובתו בזיכרון. כלומר, 30. מילה ראשונה: ה Opcode של bic הינו 04 (עמ' 5). אופרנד ראשון ממוען בשיטה 27, ואופרנד שני בשיטה 0 עם רגיסטר 1, לכן מילה שנייה: MASK הינו קבוע, לכן תוכן המילה הוא ערכו. כלומר, data סמל חיצוני, לכן מקבל 0 עפ"י הנחות אסמבלר. TPS הינו קבוע, לכן תוכן המילה הינו ערך הקבוע, עפ"י שיטת מיעון 37. ה Opcode של bpl הינו print הוא סמל מקומי שכתובתו 0. ה pc לאחר קריאת הפקודה הינו 6, לכן ה offset הינו (עמ' 3): (06)/2 = 3 = = 375 ולכן, ה Opcode הסופי הינו הסכום ה Opcode של mov הינו 01, אופרנד ראשון ממוען בשיטה 77, ואופרנד שני בשיטה 37, לכן מקבלים mov #input,@#60 mov #101,@#TKS pd:.word data bic #MASK,r1 mov r1,@#data bpl print m1 m2 m3 ההשלמות מודגשות באדום במודולים שבעמוד קודם. שלב 2 בניית טבלאות טבלות :ESD 1). עפ"י הוראות בניית טבלת ESD (עמ' 8), כל שעלינו לעשות הוא לאסוף את הסמלים "המיוחדים" מכל מודול (בשלוש שורות ראשונות), ולרשום אותם בעמודה ראשונה של הטבלה. 2). לכל סמל לרשום את סוגו בעמודה שנייה בטבלה SD עבור סמל שהוגדר תחת ההנחיה.csect (שם המודול) LD עבור הסמלים שהוגדרו תחת ההנחיה.entry (סמלים מקומיים) ER עבור הסמלים שהוגדרו תחת ההנחיה.extrn (סמלים חיצוניים) 3). בעמודה שלישית יש להוסיף את הכתובת היחסית של הסמל ביחס לכתובת תחילת המודול. מאחר שכתובת תחילת המודול הוגדרה להיות 0 (הנחות אסמבלר), הכתובת היחסית הינה הכתובת שבה מוגדר הסמל. כמובן שאין אזכור בעמודה זו לסמלים חיצוניים, שהרי אינם ידועים במודול הנוכחי. נקבל את הטבלות הבאות: 13

14 עמוד 14 מתוך 25 ESD Symbol Type Location m1 SD 00 data LD 30 pd LD 32 input ER print ER ESD Symbol Type Location m2 SD 0 input LD 0 data ER ESD Symbol Type Location m3 SD 0 print LD 0 pd ER טבלות :RLD לשם בניית טבלות אלה, ניצמד לתרשימי הבנייה המוגדרים בעמ' 9, עפ"י אופי האופרנדים. כדי לבנות את הטבלה, עלינו לעבור על כל שורות הקוד במודול ולבחון את האופרנדים, ולהחליט אם יידרשו בהם תיקונים מאוחר יותר csect m entry data, pd extrn print, input TKS = TKB = main: mov mov loop: tst data beq loop jsr r0, print halt data:.blkw pd:.word data מודול m1: 14

15 עמוד 15 מתוך 25 שורה 8: האופרנד הראשון מכיל תווית,input לכן נביט על התרשים הראשון. התווית input הינה תווית חיצונית למודול m1, וממוענת בשיטה אבסולוטית (27), לכן יש להוסיף לטבלה את השורה: כאשר 02 היא הכתובת של המילה ביחס לתחילת ה csect.,input + 02 האופרנד השני אינו מכיל תווית, לכן נביט על תרשים שני. שיטת המיעון של האופרנד הינה אבסולוטית (37), לכן אין שינוי בטבלה. כלומר, אין צורך בתיקון לאופרנד השני. שורה 9: האופרנד הראשון אינו מכיל תווית, והוא ממוען בשיטה אבסולוטית, לכן אין שינוי בטבלה. האופרנד השני גם אינו מכיל תווית (זהו קבוע) וממוען אבסולוטית, לכן אין שינוי בטבלה. שורה 10: האופרנד מכיל תווית,data והיא תווית מקומית הממוענת בשיטה יחסית (67), לכן אין שינוי בטבלה. שורה 11: האופרנד מכיל תווית,loop והיא תווית מקומית הממוענת בשיטה יחסית, לכן אין שינוי בטבלה. שורה 12: האופרנד מכיל תווית חיצונית,print הממוענת בשיטה יחסית (67), לכן עפ"י תרשים ראשון, יש להוסיף שתי שורות לטבלה: + 24 print ואת השורה 24 m1. שורה 1315: לא מצריך התלבטות. שורה 16: זוהי הנחייה לאסמבלר, לכן נביט על תרשים שלישי. בהנחיה מופיעה התווית data שהיא מקומית, לכן יש להוסיף את השורה m נאסוף את התוצאות לטבלה, ונקבל: RLD m1 Symbol Flag Location input + 02 print + 24 m1 24 m

16 עמוד 16 מתוך 25 1.csect m2 2.entry input 3.extrn data MASK = TKS = TKB = input: r bic #MASK, r mov rti מודול m2: שורה 9: אופרנד ראשון לא מכיל תווית, וממוען בשיטה אבסולוטית, לכן אין שינוי בטבלה. שורה 10: אופרנד ראשון לא מכיל תווית, וממוען בשיטה אבסולוטית, לכן אין שינוי בטבלה. שורה 11: אופרנד שני מכיל תווית חיצונית,data וממוען בשיטה אבסולוטית, לכן יש להוסיף את השורה + 12 data שורה 12: האופרנד לא מכיל תווית, וממוען בשיטה אבסולוטית, לכן אין שינוי בטבלה. שורה 13: לא מכילה אופרנדים RLD m2 Symbol Flag Location data + 12 נאסוף את התוצאות לטבלה, ונקבל: 16

17 עמוד 17 מתוך 25 1.csect m3 2.entry print 3.extrn pd TPS = TPB = print: bpl print rts r0 מודול m3: שורה 8: האופרנד לא מכיל תווית, וממוען בשיטה אבסולוטית, לכן אין שינוי בטבלה. שורה 9: האופרנד מכיל תווית מקומית,print הממוענת בשיטה יחסית, לכן אין תיקונים בטבלה. שורה 10: האופרנד הראשון מכיל תווית חיצונית,pd וממוען בשיטה יחסית, לכן בכתובת 10 יש לבצע שני תיקונים: + 10 pd ותיקון 10 m3 האופרנד השני לא מכיל תווית, וממוען בשיטה אבסולוטית, לכן אין שינוי בטבלה. שורה 11: האופרנד הוא רגיסטר, אין שינוי בטבלה. נאסוף את התוצאות לטבלה, ונקבל: RLD Symbol Flag Location pd + 10 m3 10 לפני שנעבור לתהליך הקישור, כדאי יהיה לשמור רישום על אורכו של כל אחד מהמודולים. האורך הינו כמובן אורך יחסי, והוא פשוט מציין את מספר המלים בזיכרון שצורך כל מודול. אם אורך של מודול מסוים הינו X, אזי המודול המתאחד אליו יתחיל בכתובת 2+X, אם X הינו זוגי, או בכתובת 3+X, אם אי זוגי. נוסיף גם עמודה, המציינת את הכתובת החדשה של תחילת המודולים המתאחדים למודולים אחרים: טבלת אורכים: שם המודול אורך המודול כתובת תחילת המודול לאחר איחוד m m (0+32+2) m ( ) 17

18 עמוד 18 מתוך 25 שלב 3 קישור השלבים שיתבצעו פה זהים לחלוטין למתואר בעמ' 10. בניית מפת טעינה: בשלב זה נאחד את כל המודולים למודול אחד. המודול הראשון, m1, יתחיל בכתובת 0. המודול m2, המתאחד אליו, יתחיל בכתובת 34 (עפ"י טבלת האורכים), וכל שורה במודול תוזז במספר הזה. מודול m3 יתחיל בכתובת 56, וכל שורה בו תוזז במספר זה. כמובן שאין צורך יותר בסמלים "המיוחדים", לכן אלה יוסרו מהתוכנית: TKS = TKB = TPS = TPB = MASK = main: mov mov loop: tst data beq loop jsr r0, print halt data:.blkw pd:.word data input: r bic #MASK, r mov rti print: bpl print rts r0 18

19 עמוד 19 מתוך 25 איחוד טבלות :ESD לאחר שוידאנו כי כל סמל המוגדר ER בטבלות מוגדר גם, LD נסיר את שורות ER מהטבלות. כעת נאחד את הטבלות לטבלה אחת, כאשר זוכרים לבצע הזזה של 34 בכתובות היחסיות של טבלת m2, והזזה של 56 בכתובות היחסיות של טבלה m3 (עפ"י טבלת האורכים). נקבל את טבלת ESD המאוחדת: Joined ESD Type Location Symbol m1 SD 00 data LD 30 pd LD 32 input ER print ER m2 SD 0 34 input LD 0 34 data ER m3 SD 0 56 print LD 0 56 pd ER Joined ESD Symbol Type Location m1 SD 00 data LD 30 pd LD 32 m2 SD 34 input LD 34 m3 SD 56 print LD 56 בשלב זה, יש בידינו את טבלת הסמלים המאוחדת ומיקומם בזיכרון ביחס לתחילת הכתובת במפת הטעינה. כלומר, ביחס לכתובת 0. 19

20 עמוד 20 מתוך 25 איחוד טבלות :RLD בדיוק באותו אופן, נקבל את טבלת ה RLD המאוחדת: Joined RLD Symbol Flag Location input + 02 print + 24 m1 24 כתובת עם תיקון (+) וגם תיקון () m data + 46 pd + 66 m3 66 כעת, עפ"י המתואר בעמ' 10, נאתר את הכתובות שעבורן יש תיקון (+) וגם (). קל לראות שאלו הן הכתובות 24 ו 66. כעת, עלינו לתקן את השורות האלה במפת הטעינה: jsr r0, print כתובת 24: עלינו להוסיף לכתובת 24 (המכילה כעת את הערך ) את הערך print=56 ולהוריד ממנה את הערך 0=m1, כאשר ערכי הסמלים נלקחו מתוך טבלת ה ESD המאוחדת. נבצע את החישוב ונקבל את הערך (שווה לבדוק). השורה המתוקנת הינה כעת: jsr r0, print כתובת 66: עלינו להוסיף לכתובת 66 (המכילה כעת את הערך ) את הערך pd=32 ולהוריד ממנה את הערך 56=m3, כאשר ערכי הסמלים נלקחו מתוך טבלת ה ESD המאוחדת. נבצע את החישוב ונקבל את הערך השורה המתוקנת הינה כעת: לאחר שבוצעו כל התיקונים במפת הטעינה, (הוספת input=34 לכתובת 02, הוספת 0=m1 לכתובת 32 והוספת data=30 לכתובת 46) נוריד את השורות "המיוחדות" מהטבלה, ונשמיט ממנה את עמודת שמות הסמלים (השמאלית ביותר). נקבל את טבלת ה RLD המצומצמת הנקראת טבלת הטעינה. 20

21 עמוד 21 מתוך 25 Flag Location + 02 טבלת הטעינה: ה :load module TKS = TKB = TPS = TPB = MASK = main: mov mov loop: tst data beq loop jsr r0, print halt data:.blkw pd:.word data input: r bic #MASK, r mov rti print: bpl print rts r0 תם תהליך הקישור. בנקודה זו, מודול הטעינה מושלם לגמרי, עד כדי הזזה בכתובת תחילת הטעינה. 21

22 עמוד 22 מתוך 25 שלב 4 טעינה נניח שהתוכנית נטענת לכתובת 1000, אזי כתובות מודול הטעינה יוזזו בערך זה, ובנוסף, יתווסף ערך זה לכל הערכים בכתובות המופיעות בטבלת הטעינה (כתובות (1046,1032,1002 התוכנית הסופית: TKS = TKB = TPS = TPB = MASK = main: mov mov loop: tst data beq loop jsr r0, print halt data:.blkw pd:.word data input: r bic #MASK, r mov rti print: bpl print rts r0 22

23 דומע 23 ךותמ בשחמה תונכתו ןוגרא :'א חפסנ (רחא רוקממ חקלנ) תורמה תלבט ךרע ילמיצד ךרע ילטקוא םילשמ ךרע ילטקואב 2ל ךרע ילמיצד ךרע ילטקוא םילשמ ךרע לטקואב 2ל

24 עמוד 24 מתוך 25 נספח ב': הערות וחידות פקודות הסתעפות המכילות בתוכן הנחיות לאסמבלר מקודדות באותו אופן. דוגמא: נניח שהפקודה 6+. br נמצאת בכתובת 1054, אזי הפקודה מעבירה אותנו אל הכתובת = כעת, נחשב את ה Offset : = )/2,(1062 לכן ה Opcode הינו יהי t הביט הדולק במספר X, אזי הפקודה div #X,r0 שקולה לפקודה t asr r0 פעמים, והפקודה mul #X,r1 שקולה לפקודה t asl r1 פעמים. (עבור 0=t אין הזזה) למשל, נניח שברגיסטר r1 נמצא הערך 2, אזי הפקודה mul r1,#40 תניב את התוצאה 100. הערך הבינארי של 40 הינו ביט מספר 6 דולק, לכן עלינו לזוז 5 צעדים ימינה. כלומר, לערך 100= הערה: אם יש שני ביטים דולקים, או יותר, רק הביט הראשון (הנמוך ביותר) יוזז על פי חוק זה. שאר הביטים יועברו על פי החוק הבא: אם ביט u דולק, אזי ביט 1+u ידלוק ביעד. למשל, עבור,mul r1,#45 נקבל את התוצאה 112. הערך הבינארי של 45 הינו הביט 0 דולק, לכן אין הזזה במספר = עוד דולקים, הביטים 2 ו 5, לכן נדליק במספר 2 את הביטים 3 ו 6, בהתאמה. נקבל = אוקטאלי. כדי לייצג מספר שלילי בן m ביטים באמצעות n ביטים,(n>m) עלינו להוסיף משמאל nm ביטים, כאשר כולם דולקים. למשל, אם נרצה לייצג את 10 באמצעות 5 ביטים, נוסיף משמאל 3 ביטים דולקים: נניח כי,xy=z אזי האופרנד x y( r n ) למשל, נניח כי בכתובת 2002 נמצא הערך 5, וכן יחושב כמו. z( r n ) r 0 = ל r mov תכניס את הערך אזי הפקודה 2( r ), r1 24

25 עמוד 25 מתוך 25 מה עושה הפקודה.?br גורמת ללולאה אינסופית! הפקודה הנ"ל שקולה לפקודה 0+..br נניח שהפקודה יושבת בכתובת 2000, אזי ה Offset הינו 1 =2/[2002(2000+0)]. כלומר, זהו מספר המלים המילים שעלינו לקפוץ מערכו של ה pc, לאחר קריאת הפקודה. כלומר, מהערך כלומר, עלינו לקפוץ מילה אחת אחורה, אל הכתובת 2000, וחוזר חלילה. למה תגרום הפקודה ?br לשגיאה על קפיצה רחוקה מדי! 7 כפי שנאמר (עמ' 3), נוכל לקפוץ לכל היותר 2 מילים. נניח כעת שהפקודה נמצאת בכתובת X, אזי ה Offset יהיה: = 776/2,[(X+1000)(X+2)]/2 וכמובן שלא ניתן לייצג את 776 באמצעות 8 ביטים. השגיאה תתגלה בזמן תרגום, במעבר שני, שהרי שם מתבצע חישוב האופרנדים. למה תגרום הפקודה jmp pc ומתי תתגלה? לשגיאת "שיטה לא חוקית" ותתגלה בזמן ריצה. כזכור, הקפיצה נעשית לכתובת האפקטיבית בלבד, ולשיטת מיעון 0 אין כתובת אפקטיבית. למה תגרום הפקודה?jmp #147 ללולאה אינסופית! נניח שהפקודה נמצאת בכתובת X, אז הקפיצה תהיה לכתובת 2+X, עפ"י שיטת מיעון 27. בכתובת זו נמצא הערך אם נבחן ערך זה, נגלה שזו בעצם הפקודה (pc),jmp שהרי ה Opcode של jmp הינו כלומר, תתבצע קפיצה אל הכתובת האפקטיבית.pc2 כלומר, אל 2+X שוב, וחוזר חלילה ?mul מכיל את הערך מה יהיה ערכו לאחר הפקודה r0,#10 r0 מאחר שהרגיסטר זוגי, תוצאת המכפלה תשב ברגיסטרים r0,r1 כאשר r1 יהווה את המילה הנמוכה. כפי שהוער למעלה, הפקודה mul יכולה להתבצע באמצעות פקודת,asl לכן הפקודה הנ"ל שקולה 10). 8 המספר המיוצג ב 16 ביטים הוא המספר לפקודה 3 asl r0r1 פעמים =1000) המיוצג באמצעות 32 ביט ).( כעת נבצע את הפקודה על 3 r0r1 פעמים. אחרי הזזה ראשונה נקבל: אחרי הזזה שנייה נקבל: אחרי הזזה שלישית נקבל: ניקח את 16 הביטים הראשונים (משמאל, של r0): וזהו בדיוק הערך באוקטלי. למה שקולה הפקודה., r0? sob לפקודה.clr r0 הפקודה הנ"ל שקולה לפקודה :x, sob r0,x לכן השורה מתבצעת כל עוד r0 שונה מאפס. 25